Niemytzki Plane - an Example of Tychonoff Space Which Is Not T4
نویسنده
چکیده
We continue Mizar formalization of General Topology according to the book [20] by Engelking. Niemytzki plane is defined as halfplane y ≥ 0 with topology introduced by a neighborhood system. Niemytzki plane is not T4. Next, the definition of Tychonoff space is given. The characterization of Tychonoff space by prebasis and the fact that Tychonoff spaces are between T3 and T4 is proved. The final result is that Niemytzki plane is also a Tychonoff space.
منابع مشابه
A note on compactness in a fuzzy metric space
We study the compactness in a fuzzy metric space. We also give a generalization of Niemytzki–Tychonoff theorem for a fuzzy metric space. © 2013 Elsevier B.V. All rights reserved.
متن کاملExistence of solutions of infinite systems of integral equations in the Frechet spaces
In this paper we apply the technique of measures of noncompactness to the theory of infinite system of integral equations in the Fr´echet spaces. Our aim is to provide a few generalization of Tychonoff fixed point theorem and prove the existence of solutions for infinite systems of nonlinear integral equations with help of the technique of measures of noncompactness and a generalization of Tych...
متن کاملTHE EFFECT OF PURE SHEAR ON THE REFLECTION OF PLANE WAVES AT THE BOUNDARY OF AN ELASTIC HALF-SPACE
This paper is concerned with the effect of pure shear on the reflection from a plane boundary of infinitesimal plane waves propagating in a half-space of incompressible isotropic elastic material. For a special class of constitutive laws it is shown that an incident plane harmonic wave propagating in the considered plane gives rise to a surface wave in addition to a reflected wave (with angle o...
متن کاملThe Stone-Čech compactification of Tychonoff spaces
A topological space X is said to be completely regular if whenever F is a nonempty closed set and x ∈ X \F , there is a continuous function f : X → [0, 1] such that f(x) = 0 and f(F ) = {1}. A completely regular space need not be Hausdorff. For example, ifX is any set with more than one point, then the trivial topology, in which the only closed sets are ∅ and X, is vacuously completely regular,...
متن کاملClosed subsets of absolutely star-Lindelöf spaces II
In this paper, we prove the following two statements: (1) There exists a discretely absolutely star-Lindelöf Tychonoff space having a regular-closed subspace which is not CCC-Lindelöf. (2) Every Hausdorff (regular, Tychonoff) linked-Lindelöf space can be represented in a Hausdorff (regular, Tychonoff) absolutely star-Lindelöf space as a closed Gδ subspace.
متن کامل